We are reading Paul-André Melliès' Categorical Semantics of Linear Logic.
When they are a little more complete, I might share my own notes on the subject.